自動化推論工具automate: vt. 1.使(工廠、工序等)自動化。 2.使用自動化技 ...reasoning: n. 推論,推理;論究,論斷;理論,論證;論法。 adj ...tool: n. 1.工具,用具,器具;【機械工程】刀具;工具母機 ...art: vi. 〔古、詩〕〔主語為 thou 時〕 be 的第二 ...automated reasoning tool: 自動化推論工具; 自動推理工具下載手機詞典可隨時隨地查詞查翻譯